System programming - PDFSEARCH.IO - Document Search Engine

System programming
Results: 6665

#	Item
71	Calling Variadic Functions from a Strongly Typed Language Matthias Blume Mike Rainey Add to Reading List Source URL: www.kb.ecei.tohoku.ac.jp Language: English - Date: 2008-10-05 21:17:42 Software engineering Computing Computer programming Subroutines Variadic function Type theory Variadic Cross-platform software Printf format string Parameter Type system John Reppy
72	Proceedings Template - WORD Add to Reading List Source URL: pars.ie Language: English - Date: 2015-10-23 13:30:04 Computing Technical communication Markup languages Open formats ISO standards Object-oriented programming XML Schema Component-based software engineering Dialog system Widget HTML element Attribute
73	Excelsior JET for Mac OS X Version 11 User’s Guide Add to Reading List Source URL: www.excelsiorjet.com Language: English Software Computing Compiler construction Cross-platform software Programming language implementation Java platform Computing platforms Excelsior JET Just-in-time compilation Installation Java Nullsoft Scriptable Install System
74	Java Back-End Developer (m/f) Our Company Gastrofix has developed a revolutionary, cloud-based point-of-sale (POS) system for Apple iPad and iPod. The cash register covers the whole hospitality industry from restaurants Add to Reading List Source URL: www.gastrofix.com Language: English - Date: 2016-03-18 04:44:37 Computing Java platform Computing platforms Cross-platform software WSO2 Application programming interface Java Java enterprise platform Java Persistence API API management
75	Design and Scalability of NLS, a Scalable Naming and Location Service Y. Charlie Hu, Daniel A. Rodney and Peter Druschel Computer Science Department Rice University Houston, TX 77005 , , d Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2001-06-26 00:43:24 Computing Computer programming Graph theory Domain name system B-tree Internet Standards Internet protocols Binary trees Node Name server Tree Lowest common ancestor
76	The Andromeda proof assistant Andrej Bauer University of Ljubljana Workshop on Categorical Logic and Univalent Foundations Add to Reading List Source URL: math.andrej.com Language: English - Date: 2016-07-28 09:19:23 Software engineering Software Programming language theory Type theory Proof assistants Functional languages Agda Univalent foundations Mathematical logic Coq Type system
77	Optimal Voting Schemes with Costly Information Acquisition∗ Alex Gershkov† Department of Economics, Hebrew University of Jerusalem Add to Reading List Source URL: pluto.huji.ac.il Language: English - Date: 2014-02-02 05:15:05 Social choice theory Political philosophy Politics Public choice theory Game theory Decision theory Psephology Voting system Electronic voting Stochastic programming Mechanism design Independent voter
78	Self-Applicable C Program Specialization Lars Ole Andersen DIKU, Department of Computer Science, University of Copenhagen Universitetsparken 1, DK-2100 Copenhagn Ø, Denmark E-mail: Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:55 Software engineering Computing Computer programming Data types Procedural programming languages Subroutines Type theory Object-oriented programming languages Partial evaluation Symbol Eval Type system
79	Designing and Implementing a Framework for BDI-style Communicating Agents in Haskell (Position Paper) Alessandro Solimando and Riccardo Traverso? Dipartimento di Informatica e Scienze dell’Informazione, Università di Add to Reading List Source URL: verify.disi.unige.it Language: English - Date: 2012-11-14 14:09:06 Declarative programming Software engineering Computer programming Functional programming Monad Arrow Type class Haskell Pattern matching Multi-agent system Beliefdesireintention software model Haskell features
80	Hacking the Rust object system at Mozilla Lindsey Kuper Grinnell College April 5, 2012 1 Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2013-04-24 00:32:15 Software engineering Computer programming Software Cross-platform software High-level programming languages Scripting languages Functional languages Perl Haskell Programming language Startup company

UPDATE